PERSON AND OBJECT by Roderick M. Chisholm. U.K.: Allen & Unwin; U.S.A.: Humanities Press, 1976. 230 pp. £7.25.

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

A dazzling insight into what gives meaning to our life and to us as a species. What makes us human? From Professor Brian Cox on the particles of dust that make us, to Caitlin Moran on the joy of Friday nights, and A C Grayling on how we express ourselves through culture: this illuminating book shares over 100 mind-expanding answers to that question. We all want to understand our place in the universe and find a sense of purpose in the (...) life. This book will help the reader navigate that journey with the help of leading names from the worlds of literature, history, philosophy, politics, sport, comedy and popular culture. Originally broadcast as a popular feature on the Jeremy Vine Show, What Makes Us Human? includes short essays from: Andrew Marr, Carlo Rovelli, Justin Welby, Marian Keyes, Alain de Botton, Robert Webb, Richard Dawkins, Stephen Fry, and many more"--Publisher's description. (shrink)

AI, in the form of artificial carers, provides a possible solution to the problem of a growing elderly population Yet, concerns remain that artificial carers ( such as care-or chat-bots) could not emphathize with patients to the extent that humans can. Utilising the concept of empathy perception,we propose a Turing-type test that could check whether artificial carers could do many of the menial tasks human carers currently undertake, and in the process, free up more time for doctors to offer empathy. (...) -/- . (shrink)

I argue that racism is essentially a civic character trait: to be a racist is to have a character that rationally reflects racial supremacist sociopolitical values. As with moral vice accounts of racism, character is my account’s primary evaluative focus: character is directly evaluated as racist, and all other racist things are racist insofar as, and because, they cause, are caused by, express or are otherwise suitably related to racist character. Yet as with political accounts of racism, sociopolitical considerations provide (...) my account’s primary evaluative standard: satisfying the sociopolitical standard of racial supremacy is what makes racist character racist. (shrink)

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

These two books, both by distinguished authors, are excellent. Though they are written by and for physicists, they are an invaluable resource for philosophers interested in the grand theme of how classical physical phenomena emerge from the quantum realm. Both individually and taken together, they are fine representatives of the present state of knowledge about this theme, and about many more specific topics falling under it. They are also pedagogic, though aimed at an advanced level—graduate students and beyond, in physics (...) and mathematics. Thus, they are packed with sophisticated expositions of such topics as quantum Brownian motion, and decoherence in quantum field theory, the rigorous definition of macroscopic observables and of their evolution laws in quantum statistical physics, and the rigorous treatment of open quantum systems. So overall, they provide an invaluable overview of a large and lively research area of physics. But the books are also different in several ways. The first book, by Joos et al., has six authors, all theoretical physicists based in Germany and part of the ‘Heidelberg school’ of decoherence physics, which has grown up in the last twenty-five years under the tutelage of Heinz- Dieter Zeh. The second book is a monograph: Sewell is a British mathematical physicist, most of whose work has been in the algebraic approach to quantum statistical mechanics. Other, less obvious, differences follow on from these. By and large, the material in Decoherence is both more familiar and more accessible to philosophers of physics. And for reviewing the books for philosophers of physics, it will be a convenient strategy to spell out the three reasons for this contrast. But as we shall see, Quantum Mechanics being more difficult need not mean it is less valuable. First, decoherence processes of the kinds that Joos, et al., mostly discuss are now well-known to philosophers of quantum theory, not least through the work of the Heidelberg school itself and of the ‘Los Alamos school’ of Zurek and coauthors. Indeed, Joos’ own Chapter 3, “Decoherence through Interaction with the... (shrink)

As Newton realized, his absolute space was a ‘conspiracy of nature’ in the sense that his laws dictated that nobody could discover who, among all possible observers (in various states of motion relative to one another), was at rest in absolute space. So absolute space was an unverifiable element of his theory.

A general method of interpreting weak higher-type theories of nonstandard arithmetic in their standard counterparts is presented. In particular, this provides natural nonstandard conservative extensions of primitive recursive arithmetic, elementary recursive arithmetic, and polynomial-time computable arithmetic. A means of formalizing basic real analysis in such theories is sketched.

We begin by asking what fallibilism about knowledge is, distinguishing several conceptions of fallibilism and giving reason to accept what we call strong epistemic fallibilism, the view that one can know that something is the case even if there remains an epistemic chance, for one, that it is not the case. The task of the paper, then, concerns how best to defend this sort of fallibilism from the objection that it is “mad,” that it licenses absurd claims such as “I (...) know that p but there’s a chance that not p ” and “ p but it there’s a chance that not p .” We argue that the best defense of fallibilism against this objection—a “pragmatist” defense—makes the following claims. First, while knowledge that p is compatible with an epistemic chance that not- p , it is compatible only with an insignificant such chance. Second, the insignificance of the chance that not- p is plausibly understood in terms of the irrelevance of that chance to p ’s serving as a ‘justifier’, for action as well as belief. In other words, if you know that p , then any chance for you that not p doesn’t stand in the way of p ’s being properly put to work as a basis for action and belief. (shrink)

The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.